Computer algebra

Results: 2963



#Item
131Mathematics / Graph theory / Numerical linear algebra / Numerical software / Basic Linear Algebra Subprograms / Theoretical computer science / Adjacency matrix / Breadth-first search / Trilinos / Book:Graph Theory

Microsoft PowerPoint - gabb16newVersion

Add to Reading List

Source URL: graphanalysis.org

Language: English - Date: 2016-06-14 13:08:57
132Bioinformatics / Jane Hillston / Stochastic / Laboratory for Foundations of Computer Science / Scientific modelling / Systems biology / Edinburgh / Epistemology / Science and technology

Introduction to Systems Biology Challenges Stochastic Process Algebra for Biology

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-05-01 01:56:38
133Process calculus / Algebra over a field / Stochastic process / Stochastic / Process calculi / Data / Computing / Information

SPA — From Individuals to Populations Stochastic Process Algebras — From Individuals to Populations Jane Hillston Laboratory for Foundations of Computer Science

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2011-02-28 06:04:18
134Graphing calculators / Computer hardware / Programmable calculators / Computer algebra systems / HP Prime / USB / Computing / Calculator / HP calculators

Setting up the HP Prime Wireless Kit Getting your HP Prime Wireless Kit set up for classroom use is quick and easy. Please follow these steps to get started. Step 1

Add to Reading List

Source URL: hp-prime.de

Language: English - Date: 2015-09-03 17:04:38
135Theoretical computer science / Mathematical logic / Mathematics / Logic in computer science / Boolean algebra / Logic programming / Automated planning and scheduling / Formal methods / Situation calculus / Planning Domain Definition Language / Boolean satisfiability problem / Conjunctive normal form

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Add to Reading List

Source URL: www.cs.huji.ac.il

Language: English - Date: 2010-08-28 23:41:19
136Algebra / Mathematics / Linear algebra / Multivariate statistics / Matrix theory / Dimension reduction / Interpolation / Principal component analysis / Eigenvalues and eigenvectors / Kernel principal component analysis / Eigendecomposition of a matrix / Radial basis function

DOI: j01783.x COMPUTER GRAPHICS forum

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2013-10-23 08:31:15
137Algebra / Mathematics / Abstract algebra / Polynomials / Complexity classes / Finite fields / Computer algebra / SL / XTR / FP / Differential operator / Polynomial interpolation

Fast Algorithms for Differential Equations in Positive Characteristic Alin Bostan (INRIA, France) joint work with ´ Schost (University of Western Ontario, Canada)

Add to Reading List

Source URL: issac2009.kias.re.kr

Language: English - Date: 2009-07-30 00:31:17
138Data types / Software engineering / Boolean algebra / Computing / Boolean data type / Computer programming / Primitive data type / Boolean expression / Operator / Boolean / Relational operator / C

Introduction to Julia David Zeng Keegan Go Stephen Boyd

Add to Reading List

Source URL: stanford.edu

Language: English - Date: 2015-09-24 12:16:15
139Graphing calculators / Business / Programmable calculators / Technology / Casio / Electronics / SAT / Computer algebra systems / College Board / Calculator / PSAT/NMSQT / Casio ClassPad 300

fx-9860GII In addition to all the standard features of an entry-level calculator, the fx-9860GII has an enlarged display with optional backlight for ease of view, in all types of lighting settings. Its icon-based menu i

Add to Reading List

Source URL: www.casioeducation.com

Language: English - Date: 2014-03-18 09:37:56
140Theoretical computer science / PP / Quantum complexity theory / Boolean algebra / Mathematics / Numerical software / Logic in computer science / Bayesian network / PROPT

Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2016-06-01 20:00:33
UPDATE